Zermelo set theory - PDFSEARCH.IO - Document Search Engine

Zermelo set theory
Results: 108

#	Item
51	THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t Add to Reading List Source URL: shelah.logic.at Language: English - Date: 2004-02-29 16:34:20 Metalogic Forcing Zermelo–Fraenkel set theory Equiconsistency Set theory Large cardinal Saharon Shelah Model theory Mathematical proof Mathematics Logic Mathematical logic
52	The Issues The Theory Analysis of Mathematics Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2011-04-08 07:10:10 Z notation Set theory Metalogic Zermelo–Fraenkel set theory Structuralism Object theory Finite set Edward N. Zalta S Mathematical logic Mathematics Logic
53	PDF Document Add to Reading List Source URL: www.super-scientist-guru-rupnathji.netau.net Language: English - Date: 2013-01-22 04:56:23 Z notation Set theory Zermelo–Fraenkel set theory Axiom of choice Axiom Large cardinal S Philosophy of mathematics Cardinal number Mathematical logic Logic Mathematics
54	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
55	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic
56	An extended predicative definition of the Mahlo universe Reinhard Kahle Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-02-07 19:53:07 Ordinal numbers Proof theory Ordinal analysis Constructible universe Impredicativity Function Model theory Zermelo–Fraenkel set theory Kripke–Platek set theory Mathematics Mathematical logic Logic
57	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Source URL: hp.vector.co.jp Language: English - Date: 2004-09-05 11:07:18 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic Logic Mathematics
58	Tutorial on Axiomatic Set Theory Javier R. Movellan Add to Reading List Source URL: mplab.ucsd.edu Language: English - Date: 2007-07-19 19:21:57 Z notation Axioms of set theory Function Zermelo–Fraenkel set theory First-order logic Constructible universe Axiom of choice Axiom Universal quantification Mathematical logic Logic Mathematics
59	A NATURAL MODEL OF THE MULTIVERSE AXIOMS VICTORIA GITMAN AND JOEL DAVID HAMKINS Add to Reading List Source URL: websupport1.citytech.cuny.edu Language: English - Date: 2010-08-08 09:40:15 Non-standard analysis Model theory Order theory Z notation Zermelo–Fraenkel set theory Forcing Inner model Saturated model Peano axioms Mathematical logic Mathematics Set theory
60	arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:34:09 Metalogic Forcing Zermelo–Fraenkel set theory Saharon Shelah Equiconsistency Set theory Large cardinal Model theory Mathematical proof Mathematics Logic Mathematical logic